Lower Bounds for Depth 4 Homogenous Circuits with Bounded Top Fanin

نویسندگان

  • Mrinal Kumar
  • Shubhangi Saraf
چکیده

We study the class of homogenous ΣΠΣΠ(r) circuits, which are depth 4 homogenous circuits with top fanin bounded by r. We show that any homogenous ΣΠΣΠ(r) circuit computing the permanent of an n× n matrix must have size at least exp ( n ) . In a recent result, Gupta, Kamath, Kayal and Saptharishi [6] showed that any homogenous depth 4 circuit with bottom fanin bounded by t which computes the permanent of an n×n matrix must have size at least exp (Ω(n/t)). Our work builds upon the results of [6], and explores the limits of computation of depth four homogenous circuits when the restriction for the bottom fanin is removed. For any sequence D = D1, D2, . . . , Dk of nonnegative integers such that ∑ Di = n, we also study the class of homogenous ΣΠDΣΠ circuits, which are homogenous circuits where each Π gate at the second layer (from the the top) is restricted to having its inputs be polynomials whose sequence of degrees is precisely D. We show that for every degree sequence D, any ΣΠDΣΠ circuit computing the permanent of an n× n matrix must have size at least exp (n ), for some fixed absolute constant independent of D. ∗Department of Computer Science, Rutgers University. Email: [email protected]. †Department of Computer Science and Department of Mathematics, Rutgers University. Email: [email protected].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Jacobian Hits Circuits: Hitting Sets, Lower Bounds for Depth-D Occur-k Formulas and Depth-3 Transcendence Degree-k Circuits

We present a single common tool to strictly subsume all known cases of polynomial time black box polynomial identity testing (PIT), that have been hitherto solved using diverse tools and techniques, over fields of zero or large characteristic. In particular, we show that polynomial (in the size of the circuit) time hitting-set generators for identity testing of the two seemingly different and w...

متن کامل

Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits

In this paper, we prove superpolynomial lower bounds for the class of homogeneous depth 4 arithmetic circuits. We give an explicit polynomial in VNP of degree n in n variables such that any homogeneous depth 4 arithmetic circuit computing it must have size n . Our results extend the works of Nisan-Wigderson [NW95] (which showed superpolynomial lower bounds for homogeneous depth 3 circuits), Gup...

متن کامل

An exponential lower bound for homogeneous depth four arithmetic circuits with bounded bottom fanin

Agrawal and Vinay [AV08] have recently shown that an exponential lower bound for depth four homogeneous circuits with bottom layer of × gates having sublinear fanin translates to an exponential lower bound for a general arithmetic circuit computing the permanent. Motivated by this, we examine the complexity of computing the permanent and determinant via homogeneous depth four circuits with boun...

متن کامل

Algebraic Geometric Techniques for Depth-4 PIT & Sylvester-Gallai Conjectures for Varieties

We present an algebraic-geometric approach for devising a deterministic polynomial time blackbox identity testing (PIT) algorithm for depth-4 circuits with bounded top fanin. Using our approach, we devise such an algorithm for the case when such circuits have bounded bottom fanin and satisfy a certain non-degeneracy condition. In particular, we present an algorithm that, given blackboxes to P1 ...

متن کامل

Lower Bounds for Approximations by Low Degree Polynomials Over Zm

We use a Ramsey-theoretic argument to obtain the first lower bounds for approximations over Zm by nonlinear polynomials: A degree-2 polynomial over Zm (m odd) must differ from the parity function on at least a 1=2 1=2(logn) (1) fraction of all points in the Boolean n-cube. A degree-O(1) polynomial over Zm (m odd) must differ from the parity function on at least a 1=2 o(1) fraction of all points...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electronic Colloquium on Computational Complexity (ECCC)

دوره 20  شماره 

صفحات  -

تاریخ انتشار 2013